On the use of logic in negotiation
نویسندگان
چکیده
This paper considers the use of logic-based languages for multiagent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based negotiation. Using this model, we define two important computational problems: the success problem (given a particular negotiation history, has agreement been reached?) and the guaranteed success problem (does a particular negotiation protocol guarantee that agreement will be reached?) We then consider a series of progressively more complex negotiation languages, and consider the complexity of using these languages. We conclude with a discussion on related work and issues for the future.
منابع مشابه
Cross-Cultural Time Sensitivity in a Bilateral E-Negotiation System
For a long time, culture has been an influencing parameter in negotiations. Growth of international trades and business competitions has increased the importance of negotiations among countries and different cultures. Developing new technologies, particularly the use of artificial intelligence in electronic trading areas, has provided us with the application of intelligent agents to resolve cha...
متن کاملImproving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملNo Negotiation, Limited Negotiation, and Extended Negotiation in Proactive Focus on Form in Vocabulary Acquisition
Negotiation, as an interactional strategy and proactive focus on form (FoF) have received increased attention in second language research. The combination of negotiation and proactive FoF, however, has not been examined in relation to L2 vocabulary learning. To address this gap, the present study investigated how the amount of negotiation and proactive FoF impacted learners’ vocabulary knowledg...
متن کاملCorrective Feedback in EFL Classrooms: Learner Negotiation Strategies and Uptake
This quasi-experimental study examines the extent to which research findings from teacher Corrective Feedbacks (CFs) and SLA concerning the efficiency of Focus-on-Form (FoF) pedagogy is transferable to the context of foreign language learning in Iranian schools. To investigate how "grammar instruction with FoF-oriented error treatment" functions as a matrix in which English learning takes plac...
متن کاملA Novel Method Design Multiplexer Quaternary with CNTFET
Background and Objectives: In recent decades, due to the effect of the short channel, the use of CMOS transistors in the nanoscale has become a major concern. One option to deal with this issue is the use of nano-transistors. Methods: Using nano-transistors and multi-valued logic (MVL) can reduce the level of chips and connections and have a direct impact on power consumption. The present study...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000